Property: analytically normal

Definition: a local ring whose completion is a normal ring