We introduce the notion of a Cartan envelope for a regular inclusion (C, D). When a Cartan envelope exists, it is the unique, minimal Cartan pair into which (C, D) regularly embeds. We prove a Cartan envelope exists if and only if (C, D) has the unique faithful pseudo-expectation property and also give a characterization of the Cartan envelope using the ideal intersection property.For any covering inclusion, we construct a Hausdorff twisted groupoid using appropriate linear functionals and we give a description of the Cartan envelope for (C, D) in terms of a twist whose unit space is a set of states on C constructed using the unique pseudo-expectation. For a regular MASA inclusion, this twist differs from the Weyl twist; in this setting, we show that the Weyl twist is Hausdorff precisely when there exists a conditional expectation of C onto D.We show that a regular inclusion with the unique pseudo-expectation property is a covering inclusion and give other consequences of the unique pseudo-expectation property.2010 Mathematics Subject Classification. 46L05, 46L07, 22A22. Key words and phrases. Inclusions of C * -algebras, pseudo-expectation, groupoid.