Timelike geodesic completeness (source code)

= Timelike geodesic completeness

A spacetime is timelike-geodesically complete when every inextendible affinely parametrized timelike geodesic has proper time extending without a finite endpoint in both directions.