local ring isomorphic to its own completion (at its maximal ideal); a local ring with maximal ideal m that is m-adically complete and m-adically separated