In the "classical theory of topological vector spaces" the questions like this are intricated (in my opinion, this is an artifical complexity, the Nature can't be so complicated). But in the [theory of stereotype spaces][1] they become simple: for each stereotype space $X$ (including ${\mathcal S}({\mathbb R}^k)$, since it is also stereotype as a Fréchet space) the pairing
$$
(x,f)\in X\times X^\star\mapsto f(x)\in{\mathbb C}
$$ 
is a continuous bilinear form in the stereotype sense, and, as a corollary, it can be extended to a continuous linear functional on the ["projective stereotype tensor product"][2] $\circledast$ (an analog of $\hat{\otimes}_\pi$ in stereotype theory)
$$
\operatorname{cont}: X\circledast X^\star\to {\mathbb C}.
$$
This functional is called a "contraction", you can look at the details in [my paper of 2003][3] (page 265).

If you want to define a trace for all operators $\varphi:X\to X$ that are images of the tensors $\alpha\in X\circledast X^\star$ under the [Grothendieck transformation][4], then your space $X$ must have the [stereotype approximation property][5]. As far as I know, nobody was interested up to now, whether the space ${\mathcal S}({\mathbb R}^k)$ has the stereotype approximation, but at first glance this is true: one can try to use the same trick as I did in [my paper of 2018][6] for the space ${\mathcal C}(G)$ of continuous functions on a locally compact group $G$.


  [1]: https://en.wikipedia.org/wiki/Stereotype_space#Pseudocompletion_and_pseudosaturation
  [2]: https://en.wikipedia.org/wiki/Stereotype_space#Ste_as_a_*-autonomous_category
  [3]: https://link.springer.com/article/10.1023%2FA%3A1020929201133
  [4]: https://en.wikipedia.org/wiki/Stereotype_space#Grothendieck_transformation
  [5]: https://en.wikipedia.org/wiki/Stereotype_space#Stereotype_approximation_property
  [6]: https://arxiv.org/abs/1803.01340