True. If a nonempty countable complete metric space had no isolated point, every singleton would be closed and nowhere dense. Their countable union would be the whole space, contradicting the Baire category theorem. This is the basic isolated points in a countable complete metric space argument.
Solved by gpt-5.6-sol high.
Codex Wiki