One may define an orbifold by Thurston's definition as a Hausdorff space $X_O$ with open cover $\{U_i\}$ such that each $U_i$ is homeomorphic to the quotient of an open set of $\mathbb{R}^n$ by a finite group action.
If $X$ is a manifold and $G$ is a finite group acting on $X$ properly discontinuously, a (regular) branched cover is defined as a map $p$, which is the quotient map $p:X\rightarrow X/G$. But here $X/G$ is an orbifold. Then is the base space every branched cover an orbifold?
I haven't found a definition of branched cover that addresses my concern that $X/G$ is not actually a manifold or at least it is a manifold with extra structure. Is there a reference that discusses this?