Definition: $R$ is a commutative local ring in which the canonical map into the completion at the maximal ideal is an isomorphism.
(No citations retrieved.)