Null geodesic completeness (source code)

= Null geodesic completeness

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.

A <complete manifold> requires completeness for every geodesic, whereas this condition only tests null ones.