This paper is a contribution to the theory of what might be termed 0-dimensional non-commutative spaces. We prove that associated with each inverse semigroup S is a Boolean inverse semigroup presented by the abstract versions of the Cuntz-Krieger relations. We call this Boolean inverse semigroup the Exel completion of S and show that it arises from Exel's tight groupoid under non-commutative Stone duality. Crucial to our thinking, was the work of Ruy Exel [7] and Daniel Lenz [30]; our main theorem (Theorem 1.4) is analogous to a result of Benjamin Steinberg [41, Corollary 5.3] but we work, of course, with Boolean inverse semigroups. Our use of covers and cover-to-join maps goes back to [28] although they also play a role in [7]; see also [6], a paper tightly linked to this one; in particular, the authors would like to thank Allan Donsig for answering some of their questions. In the first version of this paper, the authors proved Theorem 1.4 under the assumption that the inverse semigroup was a 'weak semilattice' in the sense of Steinberg [40,41]. The authors would like to thank Enrique Pardo for pointing out that this was unnecessary and supplying a result, suggested by Lisa Orloff Clark, that enabled us to prove the more general version of the theorem. Finally, the authors would like to thank Ruy