 Geodesic completeness

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.