I just came across the notion of ends of a space, and I wonder if the following are equivalent for $G$ a locally finite graph:
- There exists an infinite path $v_1,v_2,\dots$ in $G$ which hits every vertex at least once but not infinitely many times
- $G$ is 1-ended