Property: analytically unramified

Definition: a local ring whose completion is reduced