TeamViewer allows export of its own opened sessions (.tvs files) to AVI (Audio Video Interleave) video format using the default convert function, accessible on the menu bar.
This will basically convert tvs to avi with one of the codec build-in the TeamViewer software in version for both Windows and Mac.