Since they're logging in by using public keys, you can simply set that key to not allow any PTY. Here's an example of a fairly closed-down key:
from="their.workstation.only.domain.com",no-pty,no-port-forwarding ssh-dss AAA....
This will only allow connections from one computer and will disallow both PTY and port forwarding. All such options should come before the actual key starts and be separated by commas.
There's a list of all possible options in the section AUTHORIZED_KEYS FILE FORMAT in the man page for sshd.