Null geodesic completeness (source code)

= Null geodesic completeness
{wiki=Geodesic_manifold}

A spacetime is null-geodesically complete when every inextendible affinely parametrized null geodesic has an affine parameter extending without a finite endpoint in both directions.