  Leighton's graph covering theorem states that two finite graphs with common
universal cover have a common finite cover. We generalize this to a large
family of non-positively curved special cube complexes that form a natural
generalization of regular graphs. This family includes both hyperbolic and
non-hyperbolic CAT(0) cube complexes.
