If he has died he might be hard to find in the tank especialy if the fish have pecked at it. another possibility is that its completely been eaten or he has jumped out the tank, all i know is to remove the body as soon as you find it. I don't think it will do any harm otherwise, but don't quote...