Yes. If a subsequence converges weakly to , bounded continuity of gives
The uniqueness theorem for characteristic functions makes unique. Tightness implies that every subsequence has a further weakly convergent subsequence, and every such limit is . This subsequence criterion proves that the entire sequence converges weakly to .