You can't say they are guaranteed to terminate since they are not executable languages at all. Of course a language could be implemented with JSON syntax, but w

You can't say they are guaranteed to terminate since they are not executable languages at all. Of course a language could be implemented with JSON syntax, but whether it was guaranteed to terminate would then depend on the language semantics, not the syntax.