Non-Euclidean Completionists