Geodesic completeness
= Geodesic completeness
= Geodesically complete
{synonym}
A Riemannian manifold is geodesically complete when every maximal geodesic is defined for every real affine parameter, equivalently when every exponential map is defined on its entire tangent space.