Definately keep the whole tank covered.
I am guessing that it was probably just bad luck that he got out. To be quite honest, I used to have small openings on the top of my tanks, and I never lost a snail. I was lucky, because I should have had the top covered.
I am really sorry about your snail though.