Is this true?
d(Tx, Ty) < d(x, y) for all x ≠ y on a complete space ⇒ T has a fixed point
No — it is false.
From Metric Spaces › Completeness and Baire category