Personal taste here, but turing completeness isn’t really a good marker of whether something is/isnt a programming language. Are crabs a PL? Or magic the gathering? 🙂
A programming language doesn’t have to be Turing-complete though! In fact many highly formal functional and logic programming languages are deliberately *not* Turing-complete to improve their theoretical properties.