RIP RUFUS- Unfortunately my goldfish has passed away

There are two other fish in the tank...is it ok to leave them in there even though another fish died in the water? Is it best to clean the tank? It's 4 am, so I probably won't do it now, I'm just afraid that any infection he had may be in the water and may harm my other babies.
Thanks for any advice.
*C*