No, I have Not!
Couldn't.
Terrapin is only used in English for several species of turtle including red-eared sliders.
Nobody else uses the term I don't think.
It's not proper taxonomy.
In the USA we use the term a little. Mainly when referring to the diamondbacks.