What exactly would a Mars colony need to dig tunnels for?
On the other hands, tunnels do not provide any sunlight but I don't know if humans can actually use the sunlight on Mars (so a dome might be necessary as an addition or completely irrelevant anyways).