Kamper gives good advise, and that's what we do as well. Clean it well and prop the doors open.
BTW, I put out quite a bit of mouse bait - just in case. So far, no dead mice found on opening day.
I did find a mouse drowned in the toilet this summer - must have been looking for water

Probably got in during a windy day, when the back screen door was blowing open.