Gas Water Heater will be permanately out of service
Drain it
Doesn't have to be bone dry, but if you drain it then you avoid the possibility of 40 gallons of water all over the place. It wouldn't be scalding hot, but it would still make a mess.
Drain it.