Leighton’s theorem and regular cube complexes

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.