Wikipedia states that the boundary of any fundamental domain should have some restrictions, such as smoothness of polyhedrality. Further, this thesis on Page 8, imposes the condition that the boundary should be piecewise smooth.
My question is why are these "nice" conditions necessary in the definition of the fundamental domain, especially in the case of the modular group?