Property: complete local

Definition: $R$ is a local ring in which the canonical map into the completion at the maximal ideal is an isomorphism.